Nicola Bonatti

Forschungsinteressen

Meine Forschung konzentriert sich auf die Philosophie der Logik und Mathematik, verbunden durch semantische und epistemologische Fragestellungen zu Bedeutung und Verstehen. Einerseits interessiere ich mich dafür, wie das Schließen über beliebige Instanzen in logischen und mathematischen Beweisen angewendet wird. Genauer gesagt habe ich in meiner MPhil-Dissertation die Ausdrucksmittel der klassischen Quantoren mit denen von Hilberts Epsilon-Operator verglichen, also einem Wahloperator, der die Prädikatenlogik erster Ordnung erweitert. Andererseits untersuche ich in meiner Doktorarbeit die Rolle der Formalisierung in der Erkenntnistheorie der Mathematik. Konkret beschäftige ich mich damit, wie die Angemessenheit axiomatischer Theorien im Hinblick auf ihre intendierten Interpretationen bewertet werden kann.